Formalizing BPEL-TC Through Π-Calculus
نویسندگان
چکیده
منابع مشابه
COMPUTING SCIENCE A Formal Semantics for the WS-BPEL Recovery Framework The π-Calculus Way
While current studies on Web services composition are mostly focused, from the technical viewpoint, on standards and protocols. This work investigates the adoption of formal methods for dependable composition. The Web Services Business Process Execution Language (WS-BPEL) an OASIS standard widely adopted both in academic and industrial environments is considered as a touchstone for concrete com...
متن کاملSet-π: Set Membership π-calculus
Communication protocols often rely on stateful mechanisms to ensure certain security properties. For example, counters and timestamps can be used to ensure authentication, or the security of communication can depend on whether a particular key is registered to a server or it has been revoked. ProVerif, like other state of the art tools for protocol analysis, achieves good performance by convert...
متن کاملFormalizing Undefinedness Arising in Calculus
Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms as legitimate, nondenoting terms that can be components of meaningful statements. The traditional approach enables statements about partial functions and undefined terms to be stated very concisely. Unfortunately, the traditiona...
متن کاملProbabilistic asynchronous π-calculus
We propose an extension of the asynchronous π-calculus with a notion of random choice. We define an operational semantics which distinguishes between probabilistic choice, made internally by the process, and nondeterministic choice, made externally by an adversary scheduler. This distinction will allow us to reason about the probabilistic correctness of algorithms under certain schedulers. We s...
متن کاملAsynchronous π-calculus & DEL
In the full π-calculus by Milner, Parrow and Walker [7] all communication is done by synchronous interaction between processes. In terms of knowledge, this situation has an important consequence, that is, common knowledge is achieved on every interaction. However, many communication scenarios that arise in Computer Science, require to consider asynchronous interaction. A common example can be f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International journal of Web & Semantic Technology
سال: 2013
ISSN: 0976-2280,0975-9026
DOI: 10.5121/ijwest.2013.4302